% This file was created with JabRef 2.3.1.
% Encoding: UTF-8

@INPROCEEDINGS{David2007,
  author = {David, Francis M. and Carlyle, Jeffrey C. and Campbell, Roy H.},
  title = {Context switch overheads for Linux on ARM platforms},
  booktitle = {ExpCS '07: Proceedings of the 2007 workshop on Experimental computer
	science},
  year = {2007},
  pages = {3},
  address = {New York, NY, USA},
  publisher = {ACM},
  doi = {http://doi.acm.org/10.1145/1281700.1281703},
  isbn = {978-1-59593-751-3},
  location = {San Diego, California},
  owner = {iamedu},
  timestamp = {2009.08.11}
}

@ARTICLE{Heiser2007,
  author = {Heiser, Gernot and Elphinstone, Kevin and Kuz, Ihor and Klein, Gerwin
	and Petters, Stefan M.},
  title = {Towards trustworthy computing systems: taking microkernels to the
	next level},
  journal = {SIGOPS Oper. Syst. Rev.},
  year = {2007},
  volume = {41},
  pages = {3--11},
  number = {4},
  __markedentry = {[iamedu]},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/1278901.1278904},
  issn = {0163-5980},
  owner = {iamedu},
  publisher = {ACM},
  timestamp = {2009.08.11}
}

@INPROCEEDINGS{Jaeger2000,
  author = {Jaeger, Trent and Tidswell, Jonathon E. and Gefflaut, Alain and Park,
	Yoonho and Elphinstone, Kevin J. and Liedtke, Jochen},
  title = {Synchronous IPC over transparent monitors},
  booktitle = {EW 9: Proceedings of the 9th workshop on ACM SIGOPS European workshop},
  year = {2000},
  pages = {189--194},
  address = {New York, NY, USA},
  publisher = {ACM},
  __markedentry = {[iamedu]},
  doi = {http://doi.acm.org/10.1145/566726.566765},
  isbn = {1-23456-789-0},
  location = {Kolding, Denmark},
  owner = {iamedu},
  timestamp = {2009.08.11}
}

@ARTICLE{Liedtke1996,
  author = {Liedtke, Jochen},
  title = {Toward real microkernels},
  journal = {Commun. ACM},
  year = {1996},
  volume = {39},
  pages = {70--77},
  number = {9},
  __markedentry = {[iamedu]},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/234215.234473},
  issn = {0001-0782},
  owner = {iamedu},
  publisher = {ACM},
  timestamp = {2009.08.11}
}

@ARTICLE{Stoess2007,
  author = {Stoess, Jan},
  title = {Towards effective user-controlled scheduling for microkernel-based
	systems},
  journal = {SIGOPS Oper. Syst. Rev.},
  year = {2007},
  volume = {41},
  pages = {59--68},
  number = {4},
  __markedentry = {[iamedu]},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/1278901.1278910},
  issn = {0163-5980},
  owner = {iamedu},
  publisher = {ACM},
  timestamp = {2009.08.11}
}

@ARTICLE{Uhlig2007,
  author = {Uhlig, Volkmar},
  title = {The mechanics of in-kernel synchronization for a scalable microkernel},
  journal = {SIGOPS Oper. Syst. Rev.},
  year = {2007},
  volume = {41},
  pages = {49--58},
  number = {4},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/1278901.1278909},
  issn = {0163-5980},
  owner = {iamedu},
  publisher = {ACM},
  timestamp = {2009.08.11}
}

@MANUAL{ARMphetamine,
  title = {ARMphetamine http://www.cs.bris.ac.uk/\~brown/docs},
  owner = {mauricio},
  timestamp = {2009.10.05},
  url = {http://www.cs.bris.ac.uk/~brown/docs}
}

@MANUAL{Dynamic,
  title = {Dynamic Recompilations http://www.dynarec.com/},
  owner = {mauricio},
  timestamp = {2009.10.05},
  url = {http://www.dynarec.com/}
}

@MANUAL{elf,
  title = {Executable and Linkable Format},
  organization = {Tool Interface Standards},
  edition = {1.1},
  owner = {Eduardo Díaz},
  timestamp = {2009.08.11}
}

@MANUAL{SimOS,
  title = {SimOS project http://simos.stanford.edu/},
  owner = {mauricio},
  timestamp = {2009.10.05},
  url = {http://simos.stanford.edu/}
}

@MANUAL{SWARM,
  title = {SWARM http://dcs.gla.ac.uk/micheal/phd/swarm.html},
  owner = {mauricio},
  timestamp = {2009.10.05},
  url = {http://dcs.gla.ac.uk/~micheal/phd/swarm.html}
}

@MANUAL{armelf,
  title = {ARM ELF File Format},
  organization = {ARM Limited},
  month = {Nov},
  year = {2009},
  owner = {Eduardo Díaz},
  timestamp = {2009.08.11}
}

@MANUAL{armmanual,
  title = {ARM Architecture Reference Manual},
  organization = {ARM Limited},
  month = {July},
  year = {2005},
  keywords = {instruction set architecture},
  owner = {Eduardo Diaz},
  review = {Includes the ARM instruction set, along with details on how to implement
	the ARM architecture, useful to build the simulator and to understand
	the details on how the ARM processors operate.},
  timestamp = {2009.08.11}
}

@comment{jabref-meta: selector_publisher:}

@comment{jabref-meta: selector_author:}

@comment{jabref-meta: selector_journal:}

@comment{jabref-meta: selector_keywords:}

@MANUAL{at91,
  title = {AT91SAM9269},
  organization = {ATMEL Corporation},
  month = {Jul},
  year = {2009},
  owner = {Jessica},
  timestamp = {2009.10.06}
}

@MANUAL{mt29,
  title = {MT29F8G08MADWC:DTR},
  organization = {Micron},
  owner = {Jessica},
  timestamp = {2009.10.06}
}

@MANUAL{mt48,
  title = {MT48LC16M16A2P-75},
  organization = {Micron},
  owner = {Jessica},
  timestamp = {2009.10.07}
}

@MANUAL{ft232,
  title = {FT232RL},
  organization = {FTDI Chip},
  owner = {Jessica},
  timestamp = {2009.10.07}
}
